#include"types.h"
uint64 stack0[512];//定义一个4KB的栈空间
